Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
141	© Jens-Helge Dahmen Air Ship "Leonardo" The myth of Leonardo da Vinci as the genius that, in the second half of the 15th Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2007-05-22 17:27:49 Declarative programming Fold Recursion Anamorphism Yoshizawa-Randlett system Origami Software engineering Functional programming
142	Multimodal Home Healthcare Scheduling using a novel CP–VND–DP Approach Andrea Rendl, Matthias Prandtstetter, and Jakob Puchinger Mobility Department, Austrian Institute of Technology, Vienna, Austria {andrea.rendl,ma Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:10 Computer programming Mathematical optimization Declarative programming Nursing Systems theory Dynamic programming Constraint programming Operations research Software engineering
143	Journal of Object Technology c JOT 2011 Published by AITO — Association Internationale pour les Technologies Objets, Online at http://www.jot.fm. Declarative Layer Composition with Add to Reading List Source URL: www.jot.fm Language: English - Date: 2013-06-20 20:29:35 Aspect-oriented software development Aspect-oriented programming Data transmission AspectJ Class Separation of concerns Communications protocol THE multiprogramming system Distributed AOP Software development Software Computing
144	Selectors Make Analyzing case-lambda Too Hard yz Philippe Meunier y Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Constraint programming Logic programming Computability theory Lambda calculus Theoretical computer science Local consistency Scheme Pseudo-ring Clause Declarative programming Mathematics Mathematical logic
145	Lambda in Java Olena Syrota, Kyiv Pre-production Java Lab Lead Java 8 • Issue is planned for summer of 2013 Add to Reading List Source URL: pti.kpi.ua Language: English - Date: 2013-01-30 10:27:19 Subroutines Lambda calculus Functional programming Anonymous function Closure Lambda Function Binary lambda calculus Continuation-passing style Software engineering Declarative programming Computing
146	http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science Add to Reading List Source URL: www.wedesoft.de Language: English Computing Higher-order functions Computability theory Theoretical computer science Church encoding Scheme Fold Binary lambda calculus Lambda calculus Software engineering Declarative programming
147	Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Fourier analysis Laplace transform Transforms ALGOL 68 Four-square cipher Obfuscated code Mathematical analysis Integral transforms Programming language theory
148	SAGA: A Story Scripting Tool for Video Game Development Lucas Beyak Department of Computing and Software McMaster University April 21, 2011 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-02 13:09:47 Domain-specific language Programming language implementation Programming language C++ Declarative programming Programming paradigm Digital subscriber line Compiler Domain-specific multimodeling Software engineering Computing Software
149	Programming Techniques for Partial Evaluation Olivier Danvy BRICS † Department of Computer Science University of Aarhus ‡ January 2000 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Functional programming Subroutines Recursion Scheme Combinatory logic Closure Function Lambda Software engineering Declarative programming Computing
150	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Programming paradigms Daniel Jackson Alloy Analyzer Alloy Declarative programming Imperative programming Programming language Constraint programming Computer program Computing Software engineering Computer programming

UPDATE